Integration of Extended Uni cation into a
نویسندگان
چکیده
This paper reports on the practical experiences collected during the implementation of constraint logic programming techniques via metaterms and extended uni-cation. During the actual implementation of extended uniication in a concrete PROLOG implementation some minor reenements to a speciication proposed earlier 3] had to be taken care of. Further, a convention related to the interpretation of the meaning of metaterms has been moved into the speciication. This paper is also thought as a supplement to the C-Prolog manual 7], describing the additional predicates and conventions for the implementation of extended uniication.
منابع مشابه
Maintaining Cross Viewpoint Consistency using Z
This paper discusses the use and integration of formal techniques in particular Z into the Open Distributed Processing ODP standardization initiative One of the cornerstones of the ODP framework is a model of multiple viewpoints During the development process it is important to maintain the consistency of di erent viewpoints of the same ODP speci cation In addition there must be some way to com...
متن کاملPolytypic Uni cation
Uni cation or two way pattern matching is the process of solving an equation involving two rst order terms with variables Uni cation is used in type inference in many pro gramming languages and in the execution of logic programs This means that uni cation algorithms have to be written over and over again for di erent term types Many other functions also make sense for a large class of datatypes...
متن کاملPolymorphic Type Inference and Semi-Uni cation
In the last ten years declaration-free programming languages with a polymorphic typing discipline (ML, B) have been developed to approximate the exibility and conciseness of dynamically typed languages (LISP, SETL) while retaining the safety and execution e ciency of conventional statically typed languages (Algol68, Pascal). These polymorphic languages can be type checked at compile time, yet a...
متن کاملConsistency and re nement for partial speci cation in
This paper discusses theoretical background for the use of Z as a language for partial speci cation in particular techniques for check ing consistency between viewpoint speci cations The main technique used is uni cation i e nding a candidate least common re nement The corresponding notion of consistency between speci cations turns out to be di erent from the known notions of consistency for si...
متن کامل